State explosion in almost-sure probabilistic reachability
نویسندگان
چکیده
منابع مشابه
State explosion in almost-sure probabilistic reachability
We show that the problem of reaching a state set with probability 1 in probabilisticnondeterministic systems operating in parallel is EXPTIME-complete. We then show that this probabilistic reachability problem is EXPTIME-complete also for probabilistic timed automata.
متن کاملOptimal Cost Almost-Sure Reachability in POMDPs
We consider partially observable Markov decision processes (POMDPs) with a set of target states and every transition is associated with an integer cost. The optimization objective we study asks to minimize the expected total cost till the target set is reached, while ensuring that the target set is reached almost-surely (with probability 1). We show that for integer costs approximating the opti...
متن کاملControlling State Explosion in Reachability Analysis
ii ACKNOWLEDGMENTS I am deeply indebted to Michal Young, my advisor. He gave me guidance when I needed it, and supplied me a salary, travel expenses, and equipment for my research. He has always been there for me, as an advisor and a friend. I am also grateful to my committee, Richard A. DeMillo and Eugene Spaaord, as well as Greg Frederickson, for reading the dissertation and ooering valuable ...
متن کاملAlmost Sure Productivity
We define Almost Sure Productivity (ASP), a probabilistic generalization of the productivity condition for coinductively defined structures. Intuitively, a probabilistic coinductive stream or tree is ASP if it produces infinitely many outputs with probability 1. Formally, we define almost sure productivity using a final coalgebra semantics of programs inspired from Kerstan and König. Then, we i...
متن کاملBeyond Almost-Sure Termination
The aim of this paper is to argue that models in cognitive science based on probabilistic computation should not be restricted to those procedures that almost surely (with probability 1) terminate. There are several reasons to consider nonterminating procedures as candidate components of cognitive models. One theoretical reason is that there is a perfect correspondence between the enumerable se...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information Processing Letters
سال: 2007
ISSN: 0020-0190
DOI: 10.1016/j.ipl.2007.01.003